| ISBN: | 0-444-87593-X |
| Autor(i): | Symposium on software validation (1983 ; Darmstadt) |
| Naslov: | Software validation : inspection - testing - verification - alternatives : proceedings of the Symposium on software validation, Darmstadt, September 25-30, 1983 / GMD - Gesellschaft fuer Mathematik und Datenverarbeitung mbH Bonn and SRI International Menlo Park, USA ; edit. Hans - Ludwig Hausen |
| Impresum: | Amsterdam ; New York ; Oxford : North-Holland , 1984 |
| Materijalni opis: | XII, 375 str. ; 23 cm |
| Jezik: | Engleski |
| Napomena: | Bibliografija: str. 338-359. - Kazalo |
| Ključne riječi: | kompjuterski programi |
| Ostali autori / urednici: | Hausen, Hans-Ludwig |
| Podaci o fondu: | KONČAR-INDOK |
| Signatura: | III/8621 |
| Inventarni broj: | 16213 |
| Vrsta građe: | knjiga |
| Knjižnica: | KONČAR - institut za elektrotehniku, INDOK, http://www.koncar-institut.hr/sadrzaj.as... |
| MFN: | 3434 |
|